Assignment 6 15 - 816 : Substructural Logics

This assignment consists of several, somewhat open-ended problems. You should pick one of them to do. If you would like to do a half-semester project instead, please submit your project proposal instead of the assignment. A project proposal should be 2–5 pages and map out background, motivation, technical approach, and expected outcome of your project. You may do this assignment by yourself or in pairs. They are somewhat open-ended, so you have to use your judgment as to when you consider the homework completed. Feel free to contact the instructor when you have questions about the extent of a problem. As usual, you are allowed and encouraged to use all resources (papers, lecture notes, technical reports) that you can find, but you must properly cite and acknowledge any resources you use. Please submit this assignment as a PDF by email. LaTeX templates and macros that may be helpful are available on the course web pages, but you are not required to use them.